<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
  "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">

<html>
<head>
  <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  <title>Application</title>

  <link rel="stylesheet" href="gwt/standard/standard.css"/>
  <link rel="stylesheet" href="images/fontello/css/fontello.css"/>
  <link rel="stylesheet" href="../stylesheet/menu.css"/>

  <script src="codemirror/codemirror-compressed-3.21.cache.js" type="text/javascript"></script>
  <link rel="stylesheet" type="text/css" href="codemirror/codemirror-3.21.cache.css"/>

  <script src="diff_match_patch/javascript/diff_match_patch.js"
    type="text/javascript"></script>

  <!--                                           -->
  <!-- This script loads your compiled module.   -->
  <!-- If you add any GWT meta tags, they must   -->
  <!-- be added before this line.                -->
  <!--                                           -->
  <script type="text/javascript" language="javascript"
    src="webtrans.nocache.js"></script>
</head>

<!--                                           -->
<!-- The body can have arbitrary html, or      -->
<!-- you can leave the body empty if you want  -->
<!-- to create a completely dynamic UI.        -->
<!--                                           -->
<body>
<div class="header">
  Dummy top bar
</div>

<div id="contentDiv"/>

<!-- OPTIONAL: include this if you want history support -->
<iframe src="javascript:''" id="__gwt_historyFrame" tabIndex='-1'
  style="position:absolute;width:0;height:0;border:0"></iframe>

</body>
</html>
